Modular Theory of Group-Matrices
نویسندگان
چکیده
منابع مشابه
Modular Theory of Group - Matrices
1. The importance of the concept group-matrix in the theory of finite groups was recognized by Dedekind as early as 1880. The development of a general theory of group-matrices is due, however, to Frobenius, (Berliner Sitzungsberichte, from 1896 to the present). In particular, Frobenius has applied the theory to the representation of a finite group as a (non-modular) linear group. Since linear c...
متن کاملA Modular Formalisation of Finite Group Theory
In this paper, we present a formalisation of elementary group theory done in Coq. This work is the first milestone of a long-term effort to formalise Feit-Thompson theorem. As our further developments will heavily rely on this initial base, we took special care to articulate it in the most compositional way. Key-words: finite groups, proof assistants, formalisation of mathematics ∗ Microsoft Re...
متن کاملModular Sequences and Modular Hadamard Matrices
For every n divisible by 4, we construct a square matrix H of size n, with coeecients 1, such that H H t nI mod 32. This solves the 32-modular version of the classical Hadamard conjecture. We also determine the set of lengths of 16-modular Golay sequences. 0. Introduction Hadamard matrices can be constructed from various binary sequences, either from Golay complementary sequences, or Williamson...
متن کاملMatrices. Abelian Group of Matrices
The articles [11], [6], [13], [14], [4], [5], [2], [10], [8], [3], [7], [12], [9], and [1] provide the notation and terminology for this paper. For simplicity, we follow the rules: x is a set, i, j, n, m are natural numbers, D is a non empty set, K is a non empty double loop structure, s is a finite sequence, a, a1, a2, b1, b2, d are elements of D, p, p1, p2 are finite sequences of elements of ...
متن کاملDeterminants of Modular Macaulay Matrices
Introduction: Resultants of multi-variate polynomials are fundamental for solving systems of polynomial equations and have numerous applications. Thus they are being intensely studied. Macaulay [3] showed that the projective resultant of a list of multi-variate polynomials is the quotient of two determinants. The numerator of this quotient is the determinant of a (sparse) matrix containing the ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1907
ISSN: 0002-9947
DOI: 10.2307/1988782